- disjunctive clause
- (Grammar) clause which contains at least one disjunctive proposition (proposition that sets two or more concepts in opposition to each other)
English contemporary dictionary. 2014.
disjunctive clause
Look at other dictionaries:
Disjunctive normal form — In boolean logic, a disjunctive normal form (DNF) is a standardization (or normalization) of a logical formula which is a disjunction of conjunctive clauses. As a normal form, it is useful in automated theorem proving. A logical formula is… … Wikipedia
Disjunctive pronoun — A disjunctive pronoun is a stressed form of a personal pronoun reserved for use in isolation or in certain syntactic contexts. Contents 1 Examples and usage 2 It s me 3 See also 4 Ref … Wikipedia
Clause (logic) — For other uses, see Clause (disambiguation). In logic, a clause is a finite disjunction of literals.[1] Clauses are usually written as follows, where the symbols li are literals: In some cases, clauses are written (or defined) as sets of literals … Wikipedia
Conjunctive normal form — In Boolean logic, a formula is in conjunctive normal form (CNF) if it is a conjunction of clauses, where a clause is a disjunction of literals. As a normal form, it is useful in automated theorem proving. It is similar to the product of sums form … Wikipedia
Romance languages — Romance Geographic distribution: Originally Southern Europe and parts of Africa; now also Latin America, Canada, parts of Lebanon and much of Western Africa Linguistic classification: Indo European Italic … Wikipedia
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
French personal pronouns — The French personal pronouns (analogous to English I , me , you , and so on) reflect the person and number of their referent, and in the case of the third person, its gender as well (much like English s distinction between him and her , except… … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Romanian grammar — Romanian (technically called Daco Romanian ) shares practically the same grammar and most of the vocabulary and phonological processes with the other three surviving Eastern Romance languages: Aromanian, Megleno Romanian, and Istro Romanian.As a… … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
